Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory

نویسندگان

چکیده

This paper proposes an efficient framework to execute Smart Contract Transactions (SCTs) concurrently based on object semantics, using optimistic Single-Version Object-based Software Transactional Memory Systems (SVOSTMs) and Multi-Version OSTMs (MVOSTMs). In our framework, a multi-threaded miner constructs Block Graph (BG), capturing the object-conflicts relations between SCTs, stores it in block. Later, validators re-execute same SCTs deterministically relying this BG. A malicious can modify BG harm blockchain, e.g., cause double-spending. To identify miners, we propose Multi-threaded Validator (SMV). Experimental analysis shows that proposed validator achieve significant performance gains over state-of-the-art SCT execution framework.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Making Blockchains Smarter: Towards Automated Robust Smart Contracts in Hyperledger

1 Background The world has seen a large amount of investments and developments going into the blockchain technology in recent years. In essence, a blockchain can be viewed as a distributed append-only log, the integrity of which is backed by the consensus of a network of nodes. Many properties of blockchain are considered to be desirable for the operation and collaboration of a variety of diffe...

متن کامل

Raziel: Private and Verifiable Smart Contracts on Blockchains

Raziel combines secure multi-party computation and proof-carrying code to provide privacy, correctness and verifiability guarantees for smart contracts on blockchains. Effectively solving DAO and Gyges attacks, this paper describes an implementation and presents examples to demonstrate its practical viability (e.g., private and verifiable crowdfundings and investment funds, double auctions for ...

متن کامل

PUNO: Predictive Unicast and Notification towards Efficient Transactional Memory Execution

Hardware Transactional Memory (HTM) schemes usually piggyback onto the cache coherence protocol to detect data access conflicts between transactions. We identify an intrinsic mismatch between the coherence scheme and transaction execution which causes a sizable amount of unnecessary transaction aborts. This pathological behavior is called false aborting and increases the amount of wasted comput...

متن کامل

Efficient means of Achieving Composability using Object based Conflicts on Transactional Memory

Composing together the individual atomic methods of concurrent data-structures (cds) pose multiple design and consistency challenges. In this context composition provided by transactions in software transaction memory (STM) can be handy. However, most of the STMs offer read/write primitives to access shared cds. These read/write primitives result in unnecessary aborts. Instead, semantically ric...

متن کامل

A Concurrent Perspective on Smart Contracts

In this paper, we explore remarkable similarities between multi-transactional behaviors of smart contracts in cryptocurrencies such as Ethereum and classical problems of shared-memory concurrency. We examine two real-world examples from the Ethereum blockchain and analyzing how they are vulnerable to bugs that are closely reminiscent to those that often occur in traditional concurrent programs....

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2021

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-030-67087-0_6